Building Information Modeling Using Constraint Logic Programming

Abstract Building Information Modeling (BIM) produces three-dimensional object-oriented models of buildings combining the geometrical information with a wide range properties about materials, products, safety, to name just few. BIM is slowly but inevitably revolutionizing architecture, engineering, and construction industry. Buildings need be compliant regulations stability, environmental impact. Manual compliance checking tedious error-prone, amending flaws discovered only at time causes huge additional costs delays. Several tools can check for conformance rules/guidelines. For example, Singapore’s CORENET e-Submission System checks fire safety. But since current exchange format contains basic building objects, separate, ad-hoc model pre-processing required determine, evacuation routes. Moreover, they face difficulties in adapting existing built-in rules and/or adding new ones (to cater regulations, that vary not among countries also parts same city), if all possible. We propose use logic-based executable formalisms (CLP Constraint ASP) couple advanced knowledge representation reasoning capabilities. Previous experience shows such used uniformly capture reason (including ambiguity) large variety domains. Additionally, incorporating within design makes it possible ensure are rule-compliant every step. This prevents erroneous designs from having (partially) redone, which costly burdensome. To validate our proposal, we implemented preliminary reasoner under CLP(Q/R) ASP constraints evaluated several models.